Section: Partnerships and Cooperations

International Initiatives

• Vincent Danos (University of Edinburgh, UK);

• Walter Fontana (Harvard Medical School, US);

• Hein Koeppl and Tatjana Petrov (ETH Zürich, SW);

• Jonathan Hayman and Glynn Winskel (Cambridge, UK).

Research on abstract domains for memory states involves the group of Bor-Yuh Evan Chang (University of Colorado at Boulder, Colorado, USA).